Understanding Automatic Differentiation
swagatmitrab.vercel.app·13h·
Discuss: Hacker News
📐Error Bounds
Using Units in Emacs Calc
n16f.net·12h
⚡Homebrew CPUs
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·7h
🎯Performance Proofs
99% of us use ChatGPT wrong. The AI slop is our fault, I fixed it (and you can too).
dev.to·8h·
Discuss: DEV
✨Effect Handlers
Q&A: Math education and the importance of memory and problem solving
phys.org·3d
📚Proof Pedagogy
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·18h
💎Information Crystallography
On This Day in Math - August 29
pballew.blogspot.com·17h·
Discuss: www.blogger.com
🔍Polish Cryptanalysis
NXP MCX A34 mixed-signal Cortex-M33 MCU delivers 17x faster math acceleration for motor control and HVAC systems
cnx-software.com·19h
🔌Microcontrollers
Notes on Programming in C by Rob Pike
lysator.liu.se·21h·
Discuss: Hacker News
🦀Rust Macros
Performance woes in Unreal Engine 5 games are developers' fault, says Tim Sweeney
techspot.com·3h
🎯Emulator Accuracy
Nytek Calculator
play.google.com·2d·
Discuss: Hacker News
📐Document Calculus
Solving Plus Minus Problem in Python (HackerRank ) .
dev.to·1d·
Discuss: DEV
📐Interval Arithmetic
Why I Ditched Malloc for AI Inference
gilli.dev·1d·
Discuss: Hacker News
🧠Memory Allocators
God Created the Real Numbers
ethanheilman.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
📐Mathematical Art
Tic-tac-toe meets Lean 4
ochagavia.nl·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
How To Structure Your Application Like An Artisan
blog.codeminer42.com·1d
🐚Shell Calculus
Quantization Robustness to Input Degradations for Object Detection
arxiv.org·1d
📊Quantization
Automated X-ray Diffraction Data Anomaly Identification via Multi-Scale Kernel Regression
dev.to·2h·
Discuss: DEV
💿Optical Forensics
Making Operations Research More Accessible: Insights from the Rise of ML
pubsonline.informs.org·1d·
Discuss: Hacker News
🧠Machine Learning
Hyper-Efficient Quantized Neural Network Pruning via Adaptive Bit-Width Allocation
dev.to·3h·
Discuss: DEV
📊Quantization